$\forall$$T$:Type, $L_{1}$, $L_{2}$:($T$ List). null($L_{1}$ @ $L_{2}$) $\sim$ (null($L_{1}$) $\wedge_{b}$ null($L_{2}$))